home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
- # This shell script runs a "personal" WAIS server on port 5280
- # It assumes that waisserver is in your path, that you have built
- # some databases with waisindex in the ~/wais-database directory, and
- # that you want a log file called server.log in the same directory
- #
- waisserver -p 5280 -d $HOME/wais-database -e $HOME/wais-database/server.log&
-